MGI:5790475 http://identifiers.org/mgd/MGI:5790475 Null/knockout|Reporter targeted mutation 3, Velocigene Hoxa11os<tm3Vlcg>